<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" >
<title>Examples</title>

<link href="book.css" rel="stylesheet" type="text/css">
<link href="code.css" rel="stylesheet" type="text/css">
<link rel="home" href="00-Main.html" title="">
</head>
<body>
<a name="Xsemantics%20Documentation_13"></a>
<h1>Examples</h1>
<ol><li><a href="Examples.html#Examples">Examples</a>
</li>
<li><a href="Expressions-example.html#Expressions">An Expression Language</a>
<ol>	<li><a href="Expressions-example.html#ExpressionsTS">Expressions Type System</a>
	<ol>	<li><a href="Expressions-example.html#ExpressionsInfer">Type Inference for Variables</a>
		</li>
	</ol></li>
	<li><a href="Expressions-example.html#ExpressionsValidation">Expressions Validation</a>
	</li>
	<li><a href="Expressions-example.html#ExpressionsInterpreter">Interpreter for Expressions</a>
	</li>
	<li><a href="Expressions-example.html#ExpressionsCustomization">Customizations for Expressions</a>
	</li>
	<li><a href="Expressions-example.html#MoreInvolvedExpressionsSystem">A more involved Expressions System</a>
	</li>
	<li><a href="Expressions-example.html#ExpressionsCodeGeneration">Generation for Expressions</a>
	</li>
</ol></li>
<li><a href="FJ-example.html#FJ">Featherweight Java</a>
<ol>	<li><a href="FJ-example.html#FJInANutshell">FJ in a nutshell</a>
	</li>
	<li><a href="FJ-example.html#FJInXtext">FJ implemented in Xtext</a>
	</li>
	<li><a href="FJ-example.html#FJTypeSystem">FJ Type System</a>
	<ol>	<li><a href="FJ-example.html#FJTyping">Typing FJ Expressions</a>
		</li>
		<li><a href="FJ-example.html#FJScoping">FJ Scoping</a>
		</li>
		<li><a href="FJ-example.html#FJSubTyping">FJ Subtyping</a>
		</li>
	</ol></li>
	<li><a href="FJ-example.html#FJValidation">FJ Validation</a>
	</li>
	<li><a href="FJ-example.html#FJReduction">FJ Operational Semantics</a>
	</li>
</ol></li>
<li><a href="Lambda-example.html#Lambda">Lambda</a>
<ol>	<li><a href="Lambda-example.html#LambdaInANutshell">Lambda in a nutshell</a>
	</li>
	<li><a href="Lambda-example.html#LambdaInXtext">Lambda implemented in Xtext</a>
	</li>
	<li><a href="Lambda-example.html#LambdaTypeSystem">Lambda Type Inference</a>
	<ol>	<li><a href="Lambda-example.html#WhyCloning">Why Cloning?</a>
		</li>
	</ol></li>
	<li><a href="Lambda-example.html#LambdaChecking">Lambda Type Checking</a>
	</li>
	<li><a href="Lambda-example.html#LambdaCustomization">Customizations for Lambda</a>
	</li>
	<li><a href="Lambda-example.html#LambdaTypeInferenceIDE">Use of Type Inference in the IDE</a>
	</li>
</ol></li>
</ol></body>
</html>
